dump nom.1 ^{grammar (beta)}

wichuki